141. Formal hardware verification : methods and systems in comparison
پدیدآورنده: Thomas Kropf, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
رده :
QA
76
.
L28
Vol
.
1287
142. Formal methods for VLSI disign
پدیدآورنده: / edited by Jorgen Staunstrup
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing,Computer -- aided,Integrated Circuits -- Large scale integration -- Testing
رده :
TK
7874
.
F65
1990
143. Formal verification :
پدیدآورنده: Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867
144. Formal verification : an essential toolkit for modern VLSI design
پدیدآورنده: Seligman, Erik
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
رده :
TK
7867
.
S46F6
145. Fundamentals of computer-aided circuit simulation
پدیدآورنده: McCalla, William J, William J. McCalla
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
M355
1988
146. Fundamentals of computer-aided circuit simulation
پدیدآورنده: McCalla, William J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design
رده :
TK
7874
.
M355
147. Fundamentals of digital logic design: With VLSI circuit applications
پدیدآورنده: Douglas A. Pucknell
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Integrated circuits - very large scale integration - Design and construction - Mathematical models,Logic design
رده :
TK
,
7874
,.
P85
,
1990
148. Fundamentals of digital logic design, with VLSI applications
پدیدآورنده: Pucknell, Douglas A., 7291-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Integrated circuits- Very large scale integration- Design and construction- Mathematical models,، Logic design
149. Fundamentals of digital logic design, with VLSI applications
پدیدآورنده: / Douglas A. Pucknell
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction -- Mathematical models,Logic design
رده :
TK
7874
.
P85
1990
150. Fundamentals of digital logic design: with VLSI circuit applications
پدیدآورنده: Pucknell, Douglas A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration - Design and construction - Mathematical models ، Integrated circuits,، Logic design
رده :
TK
7874
.
P85
1989
151. Genetic algorithms for VLSI design, layout & test automation
پدیدآورنده: Mazumder, Pinaki., Pinaki Mazumder, Elizabeth M. Rudnick
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Integrated circuits, Very large scale integration, Design and construction,، Integrated circuits, Very large scale integration, Testing,، Genetic algorithms,، Integrated circuit layout
رده :
TK
7874
.
75
.
M39G4
2007
152. Genetic algorithms for VLSI design, layout & test automation
پدیدآورنده: Mazumder, Pinaki.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Integrated circuits --Very large scale integration --Design and construction.,، Integrated circuits --Very large scale integration --Testing.,، Genetic algorithms.,، Integrated circuit layout.
رده :
TK
7874
.
75
.
M3G4
153. Genetic algorithms for VLSI design, layout & test automation
پدیدآورنده: Mazumder, Pinaki.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration -- Design and construction ، Integrated circuits,Very large scale integration -- Testing ، Integrated circuits,، Genetic algorithms,، Integrated circuit layout
رده :
TK
7874
.
75
.
M39
2007
154. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
پدیدآورنده: M. Leeser, G. Brown, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
155. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
156. High-level VLSI synthesis
پدیدآورنده: / edited by Raul Camposano and Wayne Wolf
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
رده :
TK
7874
.
H5243
1991
157. High-level test synthesis of digital VLSI circuits
پدیدآورنده: Lee, Mike Tien-Chien
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Computer-aided design,، Digital integrated circuits-- Testing-- Data processing
رده :
TK
7874
.
75
.
L44
1997
158. High-performance digital VLSI circuit design
پدیدآورنده: Gu, Richard X.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Digital integrated circuits-- Design and construction-- Data processing,، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Computer-aided design
رده :
TK
7874
.
65
.
G8
1996
159. High speed CMOS design styles
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Metal oxide semiconductors, Complementary-- Design and construction,، Integrated circuits-- Very large scale integration-- Design and construction,، Electronic circuit design
رده :
TK
7871
.
99
.
M44
.
H54
1998
160. High speed CMOS design styles. ]CD[
پدیدآورنده: Kerry Bernstein ... ]et al.[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: Design and construction ، Metal oxide semiconductors, Complementary,Very large scale integration Design and construction ، Integrated circuits,، Electronic circuit design
رده :
TK7871
.
99
.
M44
H54
1998
